1. Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
Vol
.
450
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
1
.
L4
v
.
450
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
9
.
A4
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Algebra and logic: papers from the 1974 summer research institute of the Australian mathematical-Society, Monash University Australia
پدیدآورنده : edited by J.N.Crossley
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Groups, Theory of,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Combinatorial functors
پدیدآورنده : / J. N. Crossley, Anil Nerode
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Functor theory,Combinatorial analyis
رده :
512
.
55
C951
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Communities of learning :
پدیدآورنده : edited by Constant J. Mews and John N. Crossley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Civilization, Medieval.,Knowledge, Sociology of.,Learning and scholarship-- History-- Medieval, 500-1500.,Social networks-- Europe-- History.,Civilization, Medieval.,Geistesleben.,Intellectual life.,Knowledge, Sociology of.,Learning and scholarship-- Medieval.,Lernen.,Netzwerk.,Social networks.,Europe, History, 476-1492.,Europe, Intellectual life, To 1500.,Europa.,Europe., 0, 0, 7, 7
رده :
CB353
.
C65
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Formal systems and recursive functions /
پدیدآورنده : edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. #Proof theory
پدیدآورنده : #Kurt Schutte , translation from the German by J. N. Crossley
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Proof theory
رده :
#
QA
،#.
S3813
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Proof theory,Beweistheorie.English
پدیدآورنده : Schutte, K.)Kurt(,Kurt Schutte ; translation from the German by J. N. Crossley
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. The Emergence of number
پدیدآورنده : Crossley, J. N.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Numbers, Theory of
رده :
QA
241
.
C76
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Tractatus de tonis /
پدیدآورنده : Guy of Saint-Denis ; edited and translated by Constant J. Mews, Carol J. Williams, John N. Crossley, and Catherine Jeffreys.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Guido,Tractatus de tonis.,Tractatus de tonis (Guido, de Sancto Dionysio),Church music-- Catholic Church, Early works to 1800.,Church music-- France-- Saint-Denis, Early works to 1800.,Music theory-- History-- 500-1400.,Music theory, Early works to 1800.,Tonarius.,Church music-- Catholic Church.,Church music.,Music theory.,Tonarius.,France, Saint-Denis., 7
رده :
MT5
.
5
.
G85
2017
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Waht is mathematical logic ?
پدیدآورنده : / J. N. Crossley ... [et al.]
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
Wh
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. What is Mathematical Logic?
پدیدآورنده : /J.N. Crossley ... ret al.]
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
![](/design/images/bookmore.png)
14. What is mathematical logic
پدیدآورنده : J.N. Crossley...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
W43
1972
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. What is mathematical logic?
پدیدآورنده : / J. N. Crossley ... [et all]
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Logic, symbolic and mathematical
رده :
QA9
.
W55
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. What is mathematical logic?
پدیدآورنده : / J.N. Crossley ... [et al.]
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
,.
W47
,
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)